1.1 Definition of R^n